(input_polling_used): New function.

diff --git a/src/keyboard.c b/src/keyboard.c
index 8efb3507c0c9cc29b5c8c67c063ddfc7eec190dd..6534e45e0225c88cc521c2176990f0149740fa70 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -1335,6 +1335,18 @@ start_polling ()
 #endif
 }
 
+/* Nonzero if we are using polling to handle input asynchronously.  */
+
+int
+input_polling_used ()
+{
+#ifdef POLL_FOR_INPUT
+  return read_socket_hook && !interrupt_input;
+#else
+  return 0;
+#endif
+}
+
 /* Turn off polling.  */
 
 stop_polling ()